<html>
<head><meta charset="utf-8"><title>noalias annotations · t-compiler/wg-llvm · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/index.html">t-compiler/wg-llvm</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html">noalias annotations</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="161853608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/161853608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hanna Kruppe <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#161853608">(Mar 27 2019 at 12:24)</a>:</h4>
<p>In case people here haven't seen it yet: <a href="https://internals.rust-lang.org/t/llvm-discussion-about-restrict-noalias/9722" target="_blank" title="https://internals.rust-lang.org/t/llvm-discussion-about-restrict-noalias/9722">https://internals.rust-lang.org/t/llvm-discussion-about-restrict-noalias/9722</a></p>



<a name="161853626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/161853626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hanna Kruppe <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#161853626">(Mar 27 2019 at 12:24)</a>:</h4>
<p>I would love to contribute, but I haven't even found the time to read Jeroen Dobbelaere's proposal, and probably won't until after EuroLLVM</p>



<a name="163737061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/163737061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nikita Popov <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#163737061">(Apr 19 2019 at 14:00)</a>:</h4>
<p>Finally got around to reading that RFC... unfortunately I can't say that I really understood any of it. Seems to be very convoluted and I suspect that it will make noalias practically unusable for rust (because unlike C restrict, pretty much everything is noalias for us).</p>



<a name="163743439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/163743439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#163743439">(Apr 19 2019 at 15:41)</a>:</h4>
<p>It was hard to follow, indeed.</p>



<a name="163743450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/163743450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#163743450">(Apr 19 2019 at 15:41)</a>:</h4>
<p>which is exactly why it is hard to oppose it or contirbute to it</p>



<a name="163743476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/163743476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#163743476">(Apr 19 2019 at 15:41)</a>:</h4>
<p>my understanding, however, was that the proposal does not get rid of the currently available alias annotations</p>



<a name="163749968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187780-t-compiler/wg-llvm/topic/noalias%20annotations/near/163749968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hanna Kruppe <a href="https://rust-lang.github.io/zulip_archive/stream/187780-t-compiler/wg-llvm/topic/noalias.20annotations.html#163749968">(Apr 19 2019 at 17:31)</a>:</h4>
<p>They hosted a round table at EuroLLVM and I attended. Even in such an interactive discussion I didn't really manage to a good idea of what the IR semantics of their proposal would be (or even how it would be used by AA passes), they kept talking in C terms. I got the impression they want to map C <code>restrict</code> rules 1:1 to IR. That's fair in a way, but probably indeed makes it useless for Rust.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>